A Logic of Anonymity
نویسنده
چکیده
Our project concerns anonymity, that is the ability of users in a system to transmit information without revealing their own identities. There are a number of protocols claiming to guarantee users’ anonymity in different situations, but there is no clear way to compare these protocols in terms of how anonymous their users really are. In order to develop a measure of anonymity, we need to be able to reason about the knowledge of the users in the system as well as the knowledge of agents outside of the system. Furthermore, many anonymity protocols use probabilistic aspects, so it is necessary to incorporate probability into our reasoning system. Thus, we developed a probabilistic, epistemic logic based on Kripke’s epistemic logic but also incorporating probability. I will present the syntax and semantics for this logic. In the future, we also hope to incorporate information theory and theory of evidence into our analysis of anonymity.
منابع مشابه
The inner logic of love (the Phenomenology of the life experience of love)
One of the most important issues in social life, that have been busy human minds in different ways is "romantic relationships." The purpose of this study was explored the life experience of love and discover of its inner logic. For this purpose, with a phenomenological approach, 14 students (Isfahan University and Isfahan University of Technology) who had experienced "love" were interviewed in ...
متن کاملReceipt-Freeness as a Special Case of Anonymity in Epistemic Logic?
Formal methods have provided us with tools to check both anonymity of protocols and – more specifically – receipt-freeness of voting protocols. One of the frameworks used for proving anonymity is epistemic logic. However, to the best of our knowledge, epistemic logic has never been used to prove receipt-freeness of voting protocols. Still, the concept of indistinguishability used in formalizing...
متن کاملAnonymity in Voting Revisited
According to international law, anonymity of the voter is a fundamental precondition for democratic elections. In electronic voting, several aspects of voter anonymity have been identified. In this paper, we re-examine anonymity with respect to voting, and generalise existing notions of anonymity in e-voting. First, we identify and categorise the types of attack that can be a threat to anonymit...
متن کاملارائه طرح احراز اصالت سبک با قابلیت گمنامی و اعتماد در اینترنت اشیا
The Internet of Things (IoT), is a new concept that its emergence has caused ubiquity of sensors in the human life. All data are collected, processed, and transmitted by these sensors. As the number of sensors increases, the first challenge in establishing a secure connection is authentication between sensors. Anonymity, lightweight, and trust between entities are other main issues that shoul...
متن کاملAnonymity and Information Hiding in Multiagent Systems
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal logic of knowledge within the context of the runs and systems framework, much in the spirit of our earlier work on secrecy [Halpern and O’Neill 2002]. We give several definitions of anonymity with respect to agents, act...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006